Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
501	[My thesis advisor was Raymond Smullyan. He likes to begin talks with, “Before I speak, there’s something I’d like to say.” Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:27 Philosophical logic Modal logic Axiology Paraconsistent logic Fuzzy logic Logic Mathematical logic Non-classical logic
502	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic
503	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
504	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
505	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
506	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
507	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
508	71 Editorial This is the first time Abstracta publishes articles on philosophical logic and philosophy of logic. It is important to say that using logical tools to examine philosophical concepts is not a sufficient cond Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:10 Philosophy of mathematics Paraconsistent logic Mathematical logic Philosophy of logic Modal logic Philosophy Newton da Costa Proposition Outline of logic Logic Philosophical logic Non-classical logic
509	Dialetheists against Pinocchio∗ Jc Beall url: entailments.net University of Connecticut & University of Otago June 25, 2011 In his ‘Pinocchio against the dialetheists’ [3], Peter Eldridge-Smith tells us Add to Reading List Source URL: homepages.uconn.edu Language: English - Date: 2011-06-25 18:46:10 Self-reference Dialetheism Non-classical logic Pinocchio Graham Priest Contradiction Law of noncontradiction Logic Kingdom Hearts characters Paradoxes
510	Truth, modality and intersubjectivity Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 24 janvier 2007 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2007-06-06 03:18:03 Quantum mechanics Operator theory Linear algebra Quantum measurement Non-classical logic Quantum logic Hilbert space Quantum operation Vector space Mathematics Algebra Physics

UPDATE